4870277f4c0c838eee5d3337c0ccfee035527c0d,src/main/java/com/jetbrains/jetpad/vclang/typechecking/termination/BaseCallMatrix.java,BaseCallMatrix,toString,#,236
Before Change
}
result += "\n";
for (int i = 0; i < myHeight; i++) {
result += String.format("%" + max + "s", rowLabels[i]);
for (int j = 0; j < myWidth; j++)
result += String.format("%" + (columnLabels[j].length() + 1) + "s", String.valueOf(rToChar(getValue(i, j))));
result += "\n";
After Change
result.append('\n');
for (int i = 0; i < myHeight; i++) {
result.append(StringFormat.rightPad(max, rowLabels[i]));
for (int j = 0; j < myWidth; j++) {
result.append(StringFormat.rightPad(columnLabels[j].length() + 1, rToChar(getValue(i, j))));
}